antecedent derivation

[计] 前件推导